Una manera en la que podemos hacer la simulación de un analizador sintáctico descendente más eficiente, es eliminando los prefijos comunes en los lados derechos de las producciones.

Dada una gramática con producciones:

A → αβ₁ | ... | αβ_n | δ₁ | ... | δ_m

donde α es el prefijo común, y los δ_i son las producciones que no comparten el prefijo en cuestión, podemos factorizar los prefijos comunes en las producciones así:

A → α (β₁ | ... | β_n) | δ₁ | ... | δ_m

Y transformar la gramática en:

A → αA' | δ₁ | ... | δ_m
A'→ β₁ | ... | β_n

Al eliminar los prefijos comunes ya no es necesario que las implementaciones de los lados derechos consuman varias veces el mismo prefijo en la búsqueda del lado derecho correcto.